#!/bin/bash

echo "Gerando Saida"
./Maude/maude-linux64/maude.linux64 PetriNetMaximalStep.maude > Debug/PetriNetMaximalStep.saida
echo "Gerando Arquivo Temporario"
cat Debug/PetriNetMaximalStep.saida | python scripts/maude2dot.py > Debug/PetriNetMaximalStep.temp
#rm -rf PetriNetMaximalStep.saida
echo "Gerando Codigo dot"
cat Debug/PetriNetMaximalStep.temp | python scripts/maude2dot2.py > Debug/PetriNetMaximalStep.dot
echo "Gerando Imagem jpg"
dot -Tjpg Debug/PetriNetMaximalStep.dot -o PetriNetMaximalStep.jpg
echo "Saida Grafica Gerada!"
read -p 'Digite [Enter] para continuar...'
